how does a redundancy work